H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 3.62 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule Main

((rangeSize :: (Char,Char) -> Int) :: (Char,Char) -> Int)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.
Binding Reductions:
The bind variable of the following binding Pattern

r@(vv,vw)

is replaced by the following term

(vv,vw)

The bind variable of the following binding Pattern

b@(wu,wv)

is replaced by the following term

(wu,wv)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((rangeSize :: (Char,Char) -> Int) :: (Char,Char) -> Int)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

rangeSize (vv,vw)

| null (range (vv,vw))

= 0

| otherwise

= index (vv,vw) vw + 1

is transformed to

rangeSize (vv,vw) = rangeSize2 (vv,vw)

rangeSize0 vv vw True = index (vv,vw) vw + 1

rangeSize1 vv vw True = 0

rangeSize1 vv vw False = rangeSize0 vv vw otherwise

rangeSize2 (vv,vw) = rangeSize1 vv vw (null (range (vv,vw)))

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

takeWhile p [] = []

takeWhile p (x : xs)

| p x

= x : takeWhile p xs

| otherwise

= []

is transformed to

takeWhile p [] = takeWhile3 p []

takeWhile p (x : xs) = takeWhile2 p (x : xs)

takeWhile1 p x xs True = x : takeWhile p xs

takeWhile1 p x xs False = takeWhile0 p x xs otherwise

takeWhile0 p x xs True = []

takeWhile2 p (x : xs) = takeWhile1 p x xs (p x)

takeWhile3 p [] = []

takeWhile3 xu xv = takeWhile2 xu xv

The following Function with conditions

index (wu,wv) ci

| inRange (wu,wv) ci

= fromEnum ci - fromEnum wu

| otherwise

= error []

is transformed to

index (wu,wv) ci = index2 (wu,wv) ci

index1 wu wv ci True = fromEnum ci - fromEnum wu

index1 wu wv ci False = index0 wu wv ci otherwise

index0 wu wv ci True = error []

index2 (wu,wv) ci = index1 wu wv ci (inRange (wu,wv) ci)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

mainModule Main

((rangeSize :: (Char,Char) -> Int) :: (Char,Char) -> Int)

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

fromEnum c <= i && i <= fromEnum c'

where

i = fromEnum ci

are unpacked to the following functions on top level

inRangeI xx = fromEnum xx

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

mainModule Main

((rangeSize :: (Char,Char) -> Int) :: (Char,Char) -> Int)

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

mainModule Main

(rangeSize :: (Char,Char) -> Int)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="rangeSize",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="rangeSize xy3",fontsize=16,color="burlywood",shape="triangle"];1071[label="xy3/(xy30,xy31)",fontsize=10,color="white",style="solid",shape="box"];3 -> 1071[label="",style="solid", color="burlywood", weight=9];
1071 -> 4[label="",style="solid", color="burlywood", weight=3];
4[label="rangeSize (xy30,xy31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="rangeSize2 (xy30,xy31)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="rangeSize1 xy30 xy31 (null (range (xy30,xy31)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="rangeSize1 xy30 xy31 (null (enumFromTo xy30 xy31))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="rangeSize1 xy30 xy31 (null (map toEnum (enumFromTo (fromEnum xy30) (fromEnum xy31))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="rangeSize1 xy30 xy31 (null (map toEnum (numericEnumFromTo (fromEnum xy30) (fromEnum xy31))))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile (flip (<=) (fromEnum xy31)) (numericEnumFrom (fromEnum xy30)))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile (flip (<=) (fromEnum xy31)) (fromEnum xy30 : (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile2 (flip (<=) (fromEnum xy31)) (fromEnum xy30 : (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (flip (<=) (fromEnum xy31) (fromEnum xy30)))))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) ((<=) fromEnum xy30 fromEnum xy31))))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
15[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (compare (fromEnum xy30) (fromEnum xy31) /= GT))))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
16[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (not (compare (fromEnum xy30) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
17[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (not (primCmpInt (fromEnum xy30) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3];
18[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (primCharToInt xy30) (numericEnumFrom $! primCharToInt xy30 + fromInt (Pos (Succ Zero))) (not (primCmpInt (primCharToInt xy30) (fromEnum xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1072[label="xy30/Char xy300",fontsize=10,color="white",style="solid",shape="box"];18 -> 1072[label="",style="solid", color="burlywood", weight=9];
1072 -> 19[label="",style="solid", color="burlywood", weight=3];
19[label="rangeSize1 (Char xy300) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (primCharToInt (Char xy300)) (numericEnumFrom $! primCharToInt (Char xy300) + fromInt (Pos (Succ Zero))) (not (primCmpInt (primCharToInt (Char xy300)) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
20[label="rangeSize1 (Char xy300) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (Pos xy300) (numericEnumFrom $! Pos xy300 + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos xy300) (fromEnum xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1073[label="xy300/Succ xy3000",fontsize=10,color="white",style="solid",shape="box"];20 -> 1073[label="",style="solid", color="burlywood", weight=9];
1073 -> 21[label="",style="solid", color="burlywood", weight=3];
1074[label="xy300/Zero",fontsize=10,color="white",style="solid",shape="box"];20 -> 1074[label="",style="solid", color="burlywood", weight=9];
1074 -> 22[label="",style="solid", color="burlywood", weight=3];
21[label="rangeSize1 (Char (Succ xy3000)) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];21 -> 23[label="",style="solid", color="black", weight=3];
22[label="rangeSize1 (Char Zero) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];22 -> 24[label="",style="solid", color="black", weight=3];
23[label="rangeSize1 (Char (Succ xy3000)) xy31 (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt xy31)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (primCharToInt xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1075[label="xy31/Char xy310",fontsize=10,color="white",style="solid",shape="box"];23 -> 1075[label="",style="solid", color="burlywood", weight=9];
1075 -> 25[label="",style="solid", color="burlywood", weight=3];
24[label="rangeSize1 (Char Zero) xy31 (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt xy31)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (primCharToInt xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1076[label="xy31/Char xy310",fontsize=10,color="white",style="solid",shape="box"];24 -> 1076[label="",style="solid", color="burlywood", weight=9];
1076 -> 26[label="",style="solid", color="burlywood", weight=3];
25[label="rangeSize1 (Char (Succ xy3000)) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char xy310))) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (primCharToInt (Char xy310)) == GT)))))",fontsize=16,color="black",shape="box"];25 -> 27[label="",style="solid", color="black", weight=3];
26[label="rangeSize1 (Char Zero) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char xy310))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (primCharToInt (Char xy310)) == GT)))))",fontsize=16,color="black",shape="box"];26 -> 28[label="",style="solid", color="black", weight=3];
27[label="rangeSize1 (Char (Succ xy3000)) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (Pos xy310)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (Pos xy310) == GT)))))",fontsize=16,color="black",shape="box"];27 -> 29[label="",style="solid", color="black", weight=3];
28[label="rangeSize1 (Char Zero) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (Pos xy310)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos xy310) == GT)))))",fontsize=16,color="burlywood",shape="box"];1077[label="xy310/Succ xy3100",fontsize=10,color="white",style="solid",shape="box"];28 -> 1077[label="",style="solid", color="burlywood", weight=9];
1077 -> 30[label="",style="solid", color="burlywood", weight=3];
1078[label="xy310/Zero",fontsize=10,color="white",style="solid",shape="box"];28 -> 1078[label="",style="solid", color="burlywood", weight=9];
1078 -> 31[label="",style="solid", color="burlywood", weight=3];
29[label="rangeSize1 (Char (Succ xy3000)) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (Pos xy310)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy3000) xy310 == GT)))))",fontsize=16,color="burlywood",shape="box"];1079[label="xy310/Succ xy3100",fontsize=10,color="white",style="solid",shape="box"];29 -> 1079[label="",style="solid", color="burlywood", weight=9];
1079 -> 32[label="",style="solid", color="burlywood", weight=3];
1080[label="xy310/Zero",fontsize=10,color="white",style="solid",shape="box"];29 -> 1080[label="",style="solid", color="burlywood", weight=9];
1080 -> 33[label="",style="solid", color="burlywood", weight=3];
30[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ xy3100)) == GT)))))",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3];
31[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))))",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3];
32[label="rangeSize1 (Char (Succ xy3000)) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy3000) (Succ xy3100) == GT)))))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3];
33[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy3000) Zero == GT)))))",fontsize=16,color="black",shape="box"];33 -> 37[label="",style="solid", color="black", weight=3];
34[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xy3100) == GT)))))",fontsize=16,color="black",shape="box"];34 -> 38[label="",style="solid", color="black", weight=3];
35[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT)))))",fontsize=16,color="black",shape="box"];35 -> 39[label="",style="solid", color="black", weight=3];
36 -> 237[label="",style="dashed", color="red", weight=0];
36[label="rangeSize1 (Char (Succ xy3000)) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xy3000 xy3100 == GT)))))",fontsize=16,color="magenta"];36 -> 238[label="",style="dashed", color="magenta", weight=3];
36 -> 239[label="",style="dashed", color="magenta", weight=3];
36 -> 240[label="",style="dashed", color="magenta", weight=3];
36 -> 241[label="",style="dashed", color="magenta", weight=3];
37[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (GT == GT)))))",fontsize=16,color="black",shape="box"];37 -> 42[label="",style="solid", color="black", weight=3];
38[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (LT == GT)))))",fontsize=16,color="black",shape="box"];38 -> 43[label="",style="solid", color="black", weight=3];
39[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False))))",fontsize=16,color="black",shape="box"];39 -> 44[label="",style="solid", color="black", weight=3];
238[label="xy3000",fontsize=16,color="green",shape="box"];239[label="xy3000",fontsize=16,color="green",shape="box"];240[label="xy3100",fontsize=16,color="green",shape="box"];241[label="xy3100",fontsize=16,color="green",shape="box"];237[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat xy19 xy20 == GT)))))\n  Enum a",fontsize=16,color="burlywood",shape="triangle"];1082[label="xy19/Succ xy190",fontsize=10,color="white",style="solid",shape="box"];237 -> 1082[label="",style="solid", color="burlywood", weight=9];
1082 -> 266[label="",style="solid", color="burlywood", weight=3];
1083[label="xy19/Zero",fontsize=10,color="white",style="solid",shape="box"];237 -> 1083[label="",style="solid", color="burlywood", weight=9];
1083 -> 267[label="",style="solid", color="burlywood", weight=3];
42[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not True))))",fontsize=16,color="black",shape="box"];42 -> 49[label="",style="solid", color="black", weight=3];
43[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False))))",fontsize=16,color="black",shape="box"];43 -> 50[label="",style="solid", color="black", weight=3];
44[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];44 -> 51[label="",style="solid", color="black", weight=3];
266[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy190) xy20 == GT)))))\n  Enum a",fontsize=16,color="burlywood",shape="box"];1084[label="xy20/Succ xy200",fontsize=10,color="white",style="solid",shape="box"];266 -> 1084[label="",style="solid", color="burlywood", weight=9];
1084 -> 270[label="",style="solid", color="burlywood", weight=3];
1085[label="xy20/Zero",fontsize=10,color="white",style="solid",shape="box"];266 -> 1085[label="",style="solid", color="burlywood", weight=9];
1085 -> 271[label="",style="solid", color="burlywood", weight=3];
267[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero xy20 == GT)))))\n  Enum a",fontsize=16,color="burlywood",shape="box"];1086[label="xy20/Succ xy200",fontsize=10,color="white",style="solid",shape="box"];267 -> 1086[label="",style="solid", color="burlywood", weight=9];
1086 -> 272[label="",style="solid", color="burlywood", weight=3];
1087[label="xy20/Zero",fontsize=10,color="white",style="solid",shape="box"];267 -> 1087[label="",style="solid", color="burlywood", weight=9];
1087 -> 273[label="",style="solid", color="burlywood", weight=3];
49[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) False)))",fontsize=16,color="black",shape="box"];49 -> 56[label="",style="solid", color="black", weight=3];
50[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];50 -> 57[label="",style="solid", color="black", weight=3];
51[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];51 -> 58[label="",style="solid", color="black", weight=3];
270[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy190) (Succ xy200) == GT)))))\n  Enum a",fontsize=16,color="black",shape="box"];270 -> 276[label="",style="solid", color="black", weight=3];
271[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy190) Zero == GT)))))\n  Enum a",fontsize=16,color="black",shape="box"];271 -> 277[label="",style="solid", color="black", weight=3];
272[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xy200) == GT)))))\n  Enum a",fontsize=16,color="black",shape="box"];272 -> 278[label="",style="solid", color="black", weight=3];
273[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT)))))\n  Enum a",fontsize=16,color="black",shape="box"];273 -> 279[label="",style="solid", color="black", weight=3];
56[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) otherwise)))",fontsize=16,color="black",shape="box"];56 -> 64[label="",style="solid", color="black", weight=3];
57[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ xy3100))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];57 -> 65[label="",style="solid", color="black", weight=3];
58[label="rangeSize1 (Char Zero) (Char Zero) (null (toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];58 -> 66[label="",style="solid", color="black", weight=3];
276 -> 237[label="",style="dashed", color="red", weight=0];
276[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat xy190 xy200 == GT)))))\n  Enum a",fontsize=16,color="magenta"];276 -> 282[label="",style="dashed", color="magenta", weight=3];
276 -> 283[label="",style="dashed", color="magenta", weight=3];
277[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (GT == GT)))))\n  Enum a",fontsize=16,color="black",shape="box"];277 -> 284[label="",style="solid", color="black", weight=3];
278[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (LT == GT)))))\n  Enum a",fontsize=16,color="black",shape="box"];278 -> 285[label="",style="solid", color="black", weight=3];
279[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (EQ == GT)))))\n  Enum a",fontsize=16,color="black",shape="box"];279 -> 286[label="",style="solid", color="black", weight=3];
64[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];64 -> 74[label="",style="solid", color="black", weight=3];
65[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ xy3100))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];65 -> 75[label="",style="solid", color="black", weight=3];
66[label="rangeSize1 (Char Zero) (Char Zero) False",fontsize=16,color="black",shape="box"];66 -> 76[label="",style="solid", color="black", weight=3];
282[label="xy190",fontsize=16,color="green",shape="box"];283[label="xy200",fontsize=16,color="green",shape="box"];284[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not True))))\n  Enum a",fontsize=16,color="black",shape="box"];284 -> 289[label="",style="solid", color="black", weight=3];
285[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not False))))\n  Enum a",fontsize=16,color="black",shape="triangle"];285 -> 290[label="",style="solid", color="black", weight=3];
286 -> 285[label="",style="dashed", color="red", weight=0];
286[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not False))))\n  Enum a",fontsize=16,color="magenta"];74[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum []))",fontsize=16,color="black",shape="box"];74 -> 84[label="",style="solid", color="black", weight=3];
75[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) False",fontsize=16,color="black",shape="box"];75 -> 85[label="",style="solid", color="black", weight=3];
76[label="rangeSize0 (Char Zero) (Char Zero) otherwise",fontsize=16,color="black",shape="box"];76 -> 86[label="",style="solid", color="black", weight=3];
289[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) False)))\n  Enum a",fontsize=16,color="black",shape="box"];289 -> 293[label="",style="solid", color="black", weight=3];
290[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) True)))\n  Enum a",fontsize=16,color="black",shape="box"];290 -> 294[label="",style="solid", color="black", weight=3];
84[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null [])",fontsize=16,color="black",shape="box"];84 -> 95[label="",style="solid", color="black", weight=3];
85[label="rangeSize0 (Char Zero) (Char (Succ xy3100)) otherwise",fontsize=16,color="black",shape="box"];85 -> 96[label="",style="solid", color="black", weight=3];
86[label="rangeSize0 (Char Zero) (Char Zero) True",fontsize=16,color="black",shape="box"];86 -> 97[label="",style="solid", color="black", weight=3];
293[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile0 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) otherwise)))\n  Enum a",fontsize=16,color="black",shape="box"];293 -> 297[label="",style="solid", color="black", weight=3];
294[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (Pos (Succ xy17) : takeWhile (flip (<=) (Pos (Succ xy18))) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];294 -> 298[label="",style="solid", color="black", weight=3];
95[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) True",fontsize=16,color="black",shape="box"];95 -> 108[label="",style="solid", color="black", weight=3];
96[label="rangeSize0 (Char Zero) (Char (Succ xy3100)) True",fontsize=16,color="black",shape="box"];96 -> 109[label="",style="solid", color="black", weight=3];
97[label="index (Char Zero,Char Zero) (Char Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];97 -> 110[label="",style="solid", color="black", weight=3];
297[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile0 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) True)))\n  Enum a",fontsize=16,color="black",shape="box"];297 -> 301[label="",style="solid", color="black", weight=3];
298[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (toEnum (Pos (Succ xy17)) : map toEnum (takeWhile (flip (<=) (Pos (Succ xy18))) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))))))\n  Enum a",fontsize=16,color="black",shape="box"];298 -> 302[label="",style="solid", color="black", weight=3];
108[label="Pos Zero",fontsize=16,color="green",shape="box"];109[label="index (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];109 -> 121[label="",style="solid", color="black", weight=3];
110[label="primPlusInt (index (Char Zero,Char Zero) (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];110 -> 122[label="",style="solid", color="black", weight=3];
301[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum []))\n  Enum a",fontsize=16,color="black",shape="box"];301 -> 305[label="",style="solid", color="black", weight=3];
302[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) False",fontsize=16,color="black",shape="box"];302 -> 306[label="",style="solid", color="black", weight=3];
121[label="primPlusInt (index (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];121 -> 134[label="",style="solid", color="black", weight=3];
122[label="primPlusInt (index2 (Char Zero,Char Zero) (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];122 -> 135[label="",style="solid", color="black", weight=3];
305[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null [])\n  Enum a",fontsize=16,color="black",shape="box"];305 -> 309[label="",style="solid", color="black", weight=3];
306[label="rangeSize0 (Char (Succ xy17)) (Char (Succ xy18)) otherwise",fontsize=16,color="black",shape="box"];306 -> 310[label="",style="solid", color="black", weight=3];
134[label="primPlusInt (index2 (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];134 -> 149[label="",style="solid", color="black", weight=3];
135[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (inRange (Char Zero,Char Zero) (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];135 -> 150[label="",style="solid", color="black", weight=3];
309[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) True",fontsize=16,color="black",shape="box"];309 -> 313[label="",style="solid", color="black", weight=3];
310[label="rangeSize0 (Char (Succ xy17)) (Char (Succ xy18)) True",fontsize=16,color="black",shape="box"];310 -> 314[label="",style="solid", color="black", weight=3];
149[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (inRange (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];149 -> 163[label="",style="solid", color="black", weight=3];
150[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (fromEnum (Char Zero) <= inRangeI (Char Zero) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];150 -> 164[label="",style="solid", color="black", weight=3];
313[label="Pos Zero",fontsize=16,color="green",shape="box"];314[label="index (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];314 -> 317[label="",style="solid", color="black", weight=3];
163[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (fromEnum (Char Zero) <= inRangeI (Char (Succ xy3100)) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];163 -> 178[label="",style="solid", color="black", weight=3];
164[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (compare (fromEnum (Char Zero)) (inRangeI (Char Zero)) /= GT && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];164 -> 179[label="",style="solid", color="black", weight=3];
317[label="primPlusInt (index (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];317 -> 320[label="",style="solid", color="black", weight=3];
178[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (compare (fromEnum (Char Zero)) (inRangeI (Char (Succ xy3100))) /= GT && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];178 -> 195[label="",style="solid", color="black", weight=3];
179[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (compare (fromEnum (Char Zero)) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];179 -> 196[label="",style="solid", color="black", weight=3];
320[label="primPlusInt (index2 (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];320 -> 323[label="",style="solid", color="black", weight=3];
195[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (compare (fromEnum (Char Zero)) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];195 -> 211[label="",style="solid", color="black", weight=3];
196[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (fromEnum (Char Zero)) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];196 -> 212[label="",style="solid", color="black", weight=3];
323[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (inRange (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];323 -> 326[label="",style="solid", color="black", weight=3];
211[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (fromEnum (Char Zero)) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];211 -> 235[label="",style="solid", color="black", weight=3];
212[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (primCharToInt (Char Zero)) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];212 -> 236[label="",style="solid", color="black", weight=3];
326[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (fromEnum (Char (Succ xy17)) <= inRangeI (Char (Succ xy18)) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];326 -> 329[label="",style="solid", color="black", weight=3];
235[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (primCharToInt (Char Zero)) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];235 -> 268[label="",style="solid", color="black", weight=3];
236[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];236 -> 269[label="",style="solid", color="black", weight=3];
329[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (compare (fromEnum (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) /= GT && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];329 -> 332[label="",style="solid", color="black", weight=3];
268[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];268 -> 274[label="",style="solid", color="black", weight=3];
269[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (fromEnum (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];269 -> 275[label="",style="solid", color="black", weight=3];
332[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (compare (fromEnum (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];332 -> 335[label="",style="solid", color="black", weight=3];
274[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (fromEnum (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];274 -> 280[label="",style="solid", color="black", weight=3];
275[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (primCharToInt (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];275 -> 281[label="",style="solid", color="black", weight=3];
335[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (fromEnum (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];335 -> 338[label="",style="solid", color="black", weight=3];
280[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (primCharToInt (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];280 -> 287[label="",style="solid", color="black", weight=3];
281[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];281 -> 288[label="",style="solid", color="black", weight=3];
338[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (primCharToInt (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];338 -> 341[label="",style="solid", color="black", weight=3];
287[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (Pos (Succ xy3100)) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];287 -> 291[label="",style="solid", color="black", weight=3];
288[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (EQ == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];288 -> 292[label="",style="solid", color="black", weight=3];
341[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];341 -> 345[label="",style="solid", color="black", weight=3];
291[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpNat Zero (Succ xy3100) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];291 -> 295[label="",style="solid", color="black", weight=3];
292[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not False && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];292 -> 296[label="",style="solid", color="black", weight=3];
345[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (fromEnum (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];345 -> 349[label="",style="solid", color="black", weight=3];
295[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (LT == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];295 -> 299[label="",style="solid", color="black", weight=3];
296[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (True && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];296 -> 300[label="",style="solid", color="black", weight=3];
349[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (primCharToInt (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];349 -> 354[label="",style="solid", color="black", weight=3];
299[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not False && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];299 -> 303[label="",style="solid", color="black", weight=3];
300[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];300 -> 304[label="",style="solid", color="black", weight=3];
354[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (Pos (Succ xy18)) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];354 -> 359[label="",style="solid", color="black", weight=3];
303[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (True && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];303 -> 307[label="",style="solid", color="black", weight=3];
304[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (compare (inRangeI (Char Zero)) (fromEnum (Char Zero)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];304 -> 308[label="",style="solid", color="black", weight=3];
359 -> 825[label="",style="dashed", color="red", weight=0];
359[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpNat (Succ xy17) (Succ xy18) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="magenta"];359 -> 826[label="",style="dashed", color="magenta", weight=3];
359 -> 827[label="",style="dashed", color="magenta", weight=3];
359 -> 828[label="",style="dashed", color="magenta", weight=3];
359 -> 829[label="",style="dashed", color="magenta", weight=3];
307[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];307 -> 311[label="",style="solid", color="black", weight=3];
308[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (compare (inRangeI (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];308 -> 312[label="",style="solid", color="black", weight=3];
826[label="Succ xy18",fontsize=16,color="green",shape="box"];827[label="Succ xy17",fontsize=16,color="green",shape="box"];828[label="xy18",fontsize=16,color="green",shape="box"];829[label="xy17",fontsize=16,color="green",shape="box"];825[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat xy37 xy38 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1091[label="xy37/Succ xy370",fontsize=10,color="white",style="solid",shape="box"];825 -> 1091[label="",style="solid", color="burlywood", weight=9];
1091 -> 870[label="",style="solid", color="burlywood", weight=3];
1092[label="xy37/Zero",fontsize=10,color="white",style="solid",shape="box"];825 -> 1092[label="",style="solid", color="burlywood", weight=9];
1092 -> 871[label="",style="solid", color="burlywood", weight=3];
311[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (compare (inRangeI (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];311 -> 315[label="",style="solid", color="black", weight=3];
312[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (inRangeI (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];312 -> 316[label="",style="solid", color="black", weight=3];
870[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy370) xy38 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1093[label="xy38/Succ xy380",fontsize=10,color="white",style="solid",shape="box"];870 -> 1093[label="",style="solid", color="burlywood", weight=9];
1093 -> 874[label="",style="solid", color="burlywood", weight=3];
1094[label="xy38/Zero",fontsize=10,color="white",style="solid",shape="box"];870 -> 1094[label="",style="solid", color="burlywood", weight=9];
1094 -> 875[label="",style="solid", color="burlywood", weight=3];
871[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat Zero xy38 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1095[label="xy38/Succ xy380",fontsize=10,color="white",style="solid",shape="box"];871 -> 1095[label="",style="solid", color="burlywood", weight=9];
1095 -> 876[label="",style="solid", color="burlywood", weight=3];
1096[label="xy38/Zero",fontsize=10,color="white",style="solid",shape="box"];871 -> 1096[label="",style="solid", color="burlywood", weight=9];
1096 -> 877[label="",style="solid", color="burlywood", weight=3];
315[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (compare (inRangeI (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];315 -> 318[label="",style="solid", color="black", weight=3];
316[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (fromEnum (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];316 -> 319[label="",style="solid", color="black", weight=3];
874[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy370) (Succ xy380) == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];874 -> 880[label="",style="solid", color="black", weight=3];
875[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy370) Zero == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];875 -> 881[label="",style="solid", color="black", weight=3];
876[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat Zero (Succ xy380) == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];876 -> 882[label="",style="solid", color="black", weight=3];
877[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat Zero Zero == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];877 -> 883[label="",style="solid", color="black", weight=3];
318[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (inRangeI (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];318 -> 321[label="",style="solid", color="black", weight=3];
319[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (primCharToInt (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];319 -> 322[label="",style="solid", color="black", weight=3];
880 -> 825[label="",style="dashed", color="red", weight=0];
880[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat xy370 xy380 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="magenta"];880 -> 884[label="",style="dashed", color="magenta", weight=3];
880 -> 885[label="",style="dashed", color="magenta", weight=3];
881[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (GT == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];881 -> 886[label="",style="solid", color="black", weight=3];
882[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (LT == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];882 -> 887[label="",style="solid", color="black", weight=3];
883[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (EQ == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];883 -> 888[label="",style="solid", color="black", weight=3];
321[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (fromEnum (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];321 -> 324[label="",style="solid", color="black", weight=3];
322[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];322 -> 325[label="",style="solid", color="black", weight=3];
884[label="xy380",fontsize=16,color="green",shape="box"];885[label="xy370",fontsize=16,color="green",shape="box"];886[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not True && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];886 -> 889[label="",style="solid", color="black", weight=3];
887[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not False && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];887 -> 890[label="",style="solid", color="black", weight=3];
888 -> 887[label="",style="dashed", color="red", weight=0];
888[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not False && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="magenta"];324[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (primCharToInt (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];324 -> 327[label="",style="solid", color="black", weight=3];
325[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (primCharToInt (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];325 -> 328[label="",style="solid", color="black", weight=3];
889[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (False && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];889 -> 891[label="",style="solid", color="black", weight=3];
890[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (True && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];890 -> 892[label="",style="solid", color="black", weight=3];
327[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos (Succ xy3100)) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];327 -> 330[label="",style="solid", color="black", weight=3];
328[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];328 -> 331[label="",style="solid", color="black", weight=3];
891[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) False) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];891 -> 893[label="",style="solid", color="black", weight=3];
892[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];892 -> 894[label="",style="solid", color="black", weight=3];
330[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos (Succ xy3100)) (primCharToInt (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];330 -> 333[label="",style="solid", color="black", weight=3];
331[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];331 -> 334[label="",style="solid", color="black", weight=3];
893[label="primPlusInt (index0 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];893 -> 895[label="",style="solid", color="black", weight=3];
894[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (compare (inRangeI (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];894 -> 896[label="",style="solid", color="black", weight=3];
333[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos (Succ xy3100)) (Pos (Succ xy3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];333 -> 336[label="",style="solid", color="black", weight=3];
334[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];334 -> 337[label="",style="solid", color="black", weight=3];
895[label="primPlusInt (index0 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];895 -> 897[label="",style="solid", color="black", weight=3];
896[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (compare (inRangeI (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];896 -> 898[label="",style="solid", color="black", weight=3];
336 -> 527[label="",style="dashed", color="red", weight=0];
336[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpNat (Succ xy3100) (Succ xy3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];336 -> 528[label="",style="dashed", color="magenta", weight=3];
336 -> 529[label="",style="dashed", color="magenta", weight=3];
337[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];337 -> 340[label="",style="solid", color="black", weight=3];
897[label="primPlusInt (error []) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];897 -> 899[label="",style="solid", color="black", weight=3];
898[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (inRangeI (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];898 -> 900[label="",style="solid", color="black", weight=3];
528[label="xy3100",fontsize=16,color="green",shape="box"];529[label="Succ xy3100",fontsize=16,color="green",shape="box"];527[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat xy25 xy25 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1100[label="xy25/Succ xy250",fontsize=10,color="white",style="solid",shape="box"];527 -> 1100[label="",style="solid", color="burlywood", weight=9];
1100 -> 548[label="",style="solid", color="burlywood", weight=3];
1101[label="xy25/Zero",fontsize=10,color="white",style="solid",shape="box"];527 -> 1101[label="",style="solid", color="burlywood", weight=9];
1101 -> 549[label="",style="solid", color="burlywood", weight=3];
340[label="primPlusInt (fromEnum (Char Zero) - fromEnum (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];340 -> 344[label="",style="solid", color="black", weight=3];
899[label="error []",fontsize=16,color="red",shape="box"];900[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (fromEnum (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];900 -> 901[label="",style="solid", color="black", weight=3];
548[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat (Succ xy250) (Succ xy250) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];548 -> 562[label="",style="solid", color="black", weight=3];
549[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];549 -> 563[label="",style="solid", color="black", weight=3];
344[label="primPlusInt (primMinusInt (fromEnum (Char Zero)) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];344 -> 348[label="",style="solid", color="black", weight=3];
901[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (primCharToInt (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];901 -> 902[label="",style="solid", color="black", weight=3];
562 -> 527[label="",style="dashed", color="red", weight=0];
562[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat xy250 xy250 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];562 -> 576[label="",style="dashed", color="magenta", weight=3];
563[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];563 -> 577[label="",style="solid", color="black", weight=3];
348[label="primPlusInt (primMinusInt (primCharToInt (Char Zero)) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];348 -> 353[label="",style="solid", color="black", weight=3];
902[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (Pos (Succ xy36)) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];902 -> 903[label="",style="solid", color="black", weight=3];
576[label="xy250",fontsize=16,color="green",shape="box"];577[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];577 -> 592[label="",style="solid", color="black", weight=3];
353[label="primPlusInt (primMinusInt (Pos Zero) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];353 -> 358[label="",style="solid", color="black", weight=3];
903[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (Pos (Succ xy36)) (primCharToInt (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];903 -> 904[label="",style="solid", color="black", weight=3];
592[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];592 -> 607[label="",style="solid", color="black", weight=3];
358[label="primPlusInt (primMinusInt (Pos Zero) (primCharToInt (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];358 -> 364[label="",style="solid", color="black", weight=3];
904[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (Pos (Succ xy36)) (Pos (Succ xy36)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];904 -> 905[label="",style="solid", color="black", weight=3];
607[label="primPlusInt (fromEnum (Char (Succ xy24)) - fromEnum (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];607 -> 622[label="",style="solid", color="black", weight=3];
364[label="primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];364 -> 370[label="",style="solid", color="black", weight=3];
905 -> 1006[label="",style="dashed", color="red", weight=0];
905[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy36) (Succ xy36) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];905 -> 1007[label="",style="dashed", color="magenta", weight=3];
905 -> 1008[label="",style="dashed", color="magenta", weight=3];
905 -> 1009[label="",style="dashed", color="magenta", weight=3];
622[label="primPlusInt (primMinusInt (fromEnum (Char (Succ xy24))) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];622 -> 639[label="",style="solid", color="black", weight=3];
370[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];370 -> 378[label="",style="solid", color="black", weight=3];
1007[label="xy36",fontsize=16,color="green",shape="box"];1008[label="xy35",fontsize=16,color="green",shape="box"];1009[label="Succ xy36",fontsize=16,color="green",shape="box"];1006[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat xy45 xy45 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1104[label="xy45/Succ xy450",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1104[label="",style="solid", color="burlywood", weight=9];
1104 -> 1037[label="",style="solid", color="burlywood", weight=3];
1105[label="xy45/Zero",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1105[label="",style="solid", color="burlywood", weight=9];
1105 -> 1038[label="",style="solid", color="burlywood", weight=3];
639[label="primPlusInt (primMinusInt (primCharToInt (Char (Succ xy24))) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];639 -> 657[label="",style="solid", color="black", weight=3];
378[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];378 -> 388[label="",style="solid", color="black", weight=3];
1037[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat (Succ xy450) (Succ xy450) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1037 -> 1039[label="",style="solid", color="black", weight=3];
1038[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1038 -> 1040[label="",style="solid", color="black", weight=3];
657[label="primPlusInt (primMinusInt (Pos (Succ xy24)) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];657 -> 675[label="",style="solid", color="black", weight=3];
388[label="Pos (primPlusNat Zero (Succ Zero))",fontsize=16,color="green",shape="box"];388 -> 399[label="",style="dashed", color="green", weight=3];
1039 -> 1006[label="",style="dashed", color="red", weight=0];
1039[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat xy450 xy450 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1039 -> 1041[label="",style="dashed", color="magenta", weight=3];
1040[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1040 -> 1042[label="",style="solid", color="black", weight=3];
675[label="primPlusInt (primMinusInt (Pos (Succ xy24)) (primCharToInt (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];675 -> 696[label="",style="solid", color="black", weight=3];
399[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];399 -> 411[label="",style="solid", color="black", weight=3];
1041[label="xy450",fontsize=16,color="green",shape="box"];1042[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1042 -> 1043[label="",style="solid", color="black", weight=3];
696[label="primPlusInt (primMinusInt (Pos (Succ xy24)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];696 -> 717[label="",style="solid", color="black", weight=3];
411[label="Succ Zero",fontsize=16,color="green",shape="box"];1043[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1043 -> 1044[label="",style="solid", color="black", weight=3];
717[label="primPlusInt (primMinusNat (Succ xy24) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];717 -> 740[label="",style="solid", color="black", weight=3];
1044[label="primPlusInt (fromEnum (Char (Succ xy44)) - fromEnum (Char (Succ xy43))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1044 -> 1045[label="",style="solid", color="black", weight=3];
740[label="primPlusInt (Pos (Succ xy24)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];740 -> 765[label="",style="solid", color="black", weight=3];
1045[label="primPlusInt (primMinusInt (fromEnum (Char (Succ xy44))) (fromEnum (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1045 -> 1046[label="",style="solid", color="black", weight=3];
765[label="Pos (primPlusNat (Succ xy24) (Succ Zero))",fontsize=16,color="green",shape="box"];765 -> 792[label="",style="dashed", color="green", weight=3];
1046[label="primPlusInt (primMinusInt (primCharToInt (Char (Succ xy44))) (fromEnum (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1046 -> 1047[label="",style="solid", color="black", weight=3];
792[label="primPlusNat (Succ xy24) (Succ Zero)",fontsize=16,color="black",shape="box"];792 -> 797[label="",style="solid", color="black", weight=3];
1047[label="primPlusInt (primMinusInt (Pos (Succ xy44)) (fromEnum (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1047 -> 1048[label="",style="solid", color="black", weight=3];
797[label="Succ (Succ (primPlusNat xy24 Zero))",fontsize=16,color="green",shape="box"];797 -> 824[label="",style="dashed", color="green", weight=3];
1048[label="primPlusInt (primMinusInt (Pos (Succ xy44)) (primCharToInt (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1048 -> 1049[label="",style="solid", color="black", weight=3];
824[label="primPlusNat xy24 Zero",fontsize=16,color="burlywood",shape="box"];1107[label="xy24/Succ xy240",fontsize=10,color="white",style="solid",shape="box"];824 -> 1107[label="",style="solid", color="burlywood", weight=9];
1107 -> 872[label="",style="solid", color="burlywood", weight=3];
1108[label="xy24/Zero",fontsize=10,color="white",style="solid",shape="box"];824 -> 1108[label="",style="solid", color="burlywood", weight=9];
1108 -> 873[label="",style="solid", color="burlywood", weight=3];
1049[label="primPlusInt (primMinusInt (Pos (Succ xy44)) (Pos (Succ xy43))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1049 -> 1050[label="",style="solid", color="black", weight=3];
872[label="primPlusNat (Succ xy240) Zero",fontsize=16,color="black",shape="box"];872 -> 878[label="",style="solid", color="black", weight=3];
873[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];873 -> 879[label="",style="solid", color="black", weight=3];
1050[label="primPlusInt (primMinusNat (Succ xy44) (Succ xy43)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1050 -> 1051[label="",style="solid", color="black", weight=3];
878[label="Succ xy240",fontsize=16,color="green",shape="box"];879[label="Zero",fontsize=16,color="green",shape="box"];1051[label="primPlusInt (primMinusNat xy44 xy43) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1109[label="xy44/Succ xy440",fontsize=10,color="white",style="solid",shape="box"];1051 -> 1109[label="",style="solid", color="burlywood", weight=9];
1109 -> 1052[label="",style="solid", color="burlywood", weight=3];
1110[label="xy44/Zero",fontsize=10,color="white",style="solid",shape="box"];1051 -> 1110[label="",style="solid", color="burlywood", weight=9];
1110 -> 1053[label="",style="solid", color="burlywood", weight=3];
1052[label="primPlusInt (primMinusNat (Succ xy440) xy43) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1111[label="xy43/Succ xy430",fontsize=10,color="white",style="solid",shape="box"];1052 -> 1111[label="",style="solid", color="burlywood", weight=9];
1111 -> 1054[label="",style="solid", color="burlywood", weight=3];
1112[label="xy43/Zero",fontsize=10,color="white",style="solid",shape="box"];1052 -> 1112[label="",style="solid", color="burlywood", weight=9];
1112 -> 1055[label="",style="solid", color="burlywood", weight=3];
1053[label="primPlusInt (primMinusNat Zero xy43) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1113[label="xy43/Succ xy430",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1113[label="",style="solid", color="burlywood", weight=9];
1113 -> 1056[label="",style="solid", color="burlywood", weight=3];
1114[label="xy43/Zero",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1114[label="",style="solid", color="burlywood", weight=9];
1114 -> 1057[label="",style="solid", color="burlywood", weight=3];
1054[label="primPlusInt (primMinusNat (Succ xy440) (Succ xy430)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1054 -> 1058[label="",style="solid", color="black", weight=3];
1055[label="primPlusInt (primMinusNat (Succ xy440) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1055 -> 1059[label="",style="solid", color="black", weight=3];
1056[label="primPlusInt (primMinusNat Zero (Succ xy430)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1056 -> 1060[label="",style="solid", color="black", weight=3];
1057[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1057 -> 1061[label="",style="solid", color="black", weight=3];
1058 -> 1051[label="",style="dashed", color="red", weight=0];
1058[label="primPlusInt (primMinusNat xy440 xy430) (Pos (Succ Zero))",fontsize=16,color="magenta"];1058 -> 1062[label="",style="dashed", color="magenta", weight=3];
1058 -> 1063[label="",style="dashed", color="magenta", weight=3];
1059 -> 740[label="",style="dashed", color="red", weight=0];
1059[label="primPlusInt (Pos (Succ xy440)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1059 -> 1064[label="",style="dashed", color="magenta", weight=3];
1060[label="primPlusInt (Neg (Succ xy430)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1060 -> 1065[label="",style="solid", color="black", weight=3];
1061 -> 378[label="",style="dashed", color="red", weight=0];
1061[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];1062[label="xy440",fontsize=16,color="green",shape="box"];1063[label="xy430",fontsize=16,color="green",shape="box"];1064[label="xy440",fontsize=16,color="green",shape="box"];1065[label="primMinusNat (Succ Zero) (Succ xy430)",fontsize=16,color="black",shape="box"];1065 -> 1066[label="",style="solid", color="black", weight=3];
1066[label="primMinusNat Zero xy430",fontsize=16,color="burlywood",shape="box"];1118[label="xy430/Succ xy4300",fontsize=10,color="white",style="solid",shape="box"];1066 -> 1118[label="",style="solid", color="burlywood", weight=9];
1118 -> 1067[label="",style="solid", color="burlywood", weight=3];
1119[label="xy430/Zero",fontsize=10,color="white",style="solid",shape="box"];1066 -> 1119[label="",style="solid", color="burlywood", weight=9];
1119 -> 1068[label="",style="solid", color="burlywood", weight=3];
1067[label="primMinusNat Zero (Succ xy4300)",fontsize=16,color="black",shape="box"];1067 -> 1069[label="",style="solid", color="black", weight=3];
1068[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];1068 -> 1070[label="",style="solid", color="black", weight=3];
1069[label="Neg (Succ xy4300)",fontsize=16,color="green",shape="box"];1070[label="Pos Zero",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                        ↳ QDPSizeChangeProof

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt(xy24, Succ(xy250)) → new_primPlusInt(xy24, xy250)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt(xy24, Succ(xy250)) → new_primPlusInt(xy24, xy250)
The graph contains the following edges 1 >= 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                      ↳ QDP

                        ↳ QDPSizeChangeProof

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt0(Succ(xy440), Succ(xy430)) → new_primPlusInt0(xy440, xy430)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt0(Succ(xy440), Succ(xy430)) → new_primPlusInt0(xy440, xy430)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                        ↳ QDPSizeChangeProof

                      ↳ QDP

                      ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt1(xy43, xy44, Succ(xy450)) → new_primPlusInt1(xy43, xy44, xy450)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt1(xy43, xy44, Succ(xy450)) → new_primPlusInt1(xy43, xy44, xy450)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                        ↳ QDPSizeChangeProof

                      ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt2(xy35, xy36, Succ(xy370), Succ(xy380)) → new_primPlusInt2(xy35, xy36, xy370, xy380)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt2(xy35, xy36, Succ(xy370), Succ(xy380)) → new_primPlusInt2(xy35, xy36, xy370, xy380)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                        ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_rangeSize1(xy17, xy18, Succ(xy190), Succ(xy200), ba) → new_rangeSize1(xy17, xy18, xy190, xy200, ba)

From the DPs we obtained the following set of size-change graphs:

new_rangeSize1(xy17, xy18, Succ(xy190), Succ(xy200), ba) → new_rangeSize1(xy17, xy18, xy190, xy200, ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4, 5 >= 5

rangeSize1	vv vw True	= 0
rangeSize1	vv vw False	= rangeSize0 vv vw otherwise

takeWhile	p []	= takeWhile3 p []
takeWhile	p (x : xs)	= takeWhile2 p (x : xs)

takeWhile1	p x xs True	= x : takeWhile p xs
takeWhile1	p x xs False	= takeWhile0 p x xs otherwise

index1	wu wv ci True	= fromEnum ci - fromEnum wu
index1	wu wv ci False	= index0 wu wv ci otherwise